Inference at * 1 
Iof proof for Lemma iff preserves decidability:



1. A : 
2. B : 
3. A  (A)
4. A  B
  B  (B) 

latex

 by D 3 

latex

 1: 

 1: 3. A
 1: 4. A  B
 1:   B  (B)
 2: 

 2: 3. A
 2: 4. A  B
 2:   B  (B)
 .

Definitions

P  Q